identity axiom

[数] 恒等公理